Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
581	Notes for Teachers: Writing Instructions Year 4 Term 1 Objectives – Aims Add to Reading List Source URL: www.kidsonthenet.org.uk Language: English - Date: 2007-03-24 16:46:50 Register machines Models of computation
582	T H E R E Is N o S O F T W A R E K he Add to Reading List Source URL: classes.dma.ucla.edu Language: English - Date: 2014-10-12 21:29:55 Computability theory Turing machine Alan Turing Models of computation Algorithm Finite-state machine Computer Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science
583	First-class labels for extensible rows Technical report: UU-CSDaan Leijen Institute of Information and Computing Sciences, Utrecht University P.O.Box, 3508 TB Utrecht, The Netherlands Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-26 18:48:58 Applied mathematics Formal methods Models of computation Computability theory System F Predicate Lambda calculus Function Unification Mathematics Type theory Theoretical computer science
584	1975 A C M F u r i n g Award t,ecture The 1975 ACM Turing Award was presented jointly to Allen Newell and Herbert A. Simon at the ACM Annual Conference in Mim?eapolis, October 20. In introducing the recipients, Bernard A Add to Reading List Source URL: mypage.iu.edu Language: English - Date: 2015-01-11 16:22:38 Theory of computation Turing machine Models of computation Computability theory Philosophy of artificial intelligence Physical symbol system Information theory Turing Award Allen Newell Science Computer science Alan Turing
585	On Compact Directed Acyclic Word Graphs Maxime Crochemore and Renaud Verin Institut Gaspard Monge Universite de Marne-La-Vallee, 2, rue de la Butte Verte, FNoisy-Le-Grand. http://www-igm.univ-mlv.fr Add to Reading List Source URL: www.gtoal.com Language: English - Date: 2008-10-12 12:37:51 Models of computation Directed graph Mathematics Computer science Automata theory Theoretical computer science Directed acyclic word graph
586	Subtree and Tree Pattern Pushdown Automata for Trees In Prefix Notation Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2009-02-16 12:13:50 A Finite-state machine Automata theory Models of computation Pushdown automaton
587	lNTRODUCTlON TO THE LGP-PI GENERAL 1 Add to Reading List Source URL: www.ed-thelen.org Language: English - Date: 2008-07-23 04:19:34 Computing Accumulator Models of computation Processor register Computer memory Missile guidance LGP-30 Minicomputers D-37C Computer hardware Central processing unit Computer architecture
588	IMPLEMENTATION OF THE TRANSACTOR MODEL: FAULT TOLERANT DISTRIBUTED COMPUTING USING ASYNCHRONOUS LOCAL CHECKPOINTING By Phillip Kuang A Thesis Submitted to the Graduate Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:52 Concurrent computing Models of computation Actor model SQL .info Continuation Fault-tolerant system Lambda calculus Parallel computing Computing Fault-tolerant computer systems Application checkpointing
589	Review1 of Algorithmic Bioprocesses by Condon, Harel, Kok, Salomaa, Winfree, eds. Springer, pages, hardcover Review by Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-08-01 14:42:43 Theory of computation Computer science Natural computing Cellular automaton P system Automata theory Membrane computing Turing machine Finite-state machine Models of computation Theoretical computer science Applied mathematics
590	Parallelism in Sequential Guy Blelloch Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-04-26 13:42:59 Sorting algorithms Analysis of algorithms Complexity classes Models of computation Circuit complexity Quicksort NC Time complexity Merge sort Theoretical computer science Computational complexity theory Mathematics

UPDATE